Free logic - PDFSEARCH.IO - Document Search Engine

Free logic
Results: 431

#	Item
101	Constructive Computation Theory G´ erard Huet An executable computability theory course based on λ-calculus Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2011-08-11 17:16:11 Lambda calculus Formal methods Theoretical computer science Type theory Models of computation De Bruijn index Free variables and bound variables Combinatory logic Hindley–Milner Software engineering Mathematics Computing
102	An Approach to Completing Variable Names for Implicitly Typed Functional Languages Takumi Goto Isao Sasano Add to Reading List Source URL: www.sic.shibaura-it.ac.jp Language: English - Date: 2012-02-22 04:44:30 Software engineering Type inference Unification Function Type system Hindley–Milner Free variables and bound variables Standard ML Lambda calculus Mathematics Type theory Mathematical logic
103	Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part I John McCarthy, Massachusetts Institute of Technology, Cambridge, Mass. April Add to Reading List Source URL: www-formal.stanford.edu Language: English - Date: 2006-08-13 19:55:54 Computability theory Predicate logic Lisp programming language Formal languages Function Free variables and bound variables Combinatory logic Expression Lisp Logic Mathematics Mathematical logic
104	DEPENDENT INDEFINITES Donka F. Farkas, UCSC Abstract The paper rst lays out a non-congurational approach to scope ambiguities in which Add to Reading List Source URL: people.ucsc.edu Language: English - Date: 2015-01-24 16:05:40 Predicate logic Elementary mathematics Functions and mappings Variables Mathematical notation Free variables and bound variables Function Derivative First-order logic Mathematics Software engineering Computing
105	Event structure semantics for security protocols Jonathan Hayman and Glynn Winskel ? Computer Laboratory, University of Cambridge, United Kingdom Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2013-10-23 07:37:11 Logic in computer science Predicate logic Function Π-calculus Combinatory logic Free variables and bound variables FO Μ operator Linear temporal logic Mathematics Mathematical logic Theoretical computer science
106	A Lambda Term Representation Inspired by Linear Ordered Logic Andreas Abel Nicolai Kraus Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2011-07-29 14:17:24 Lambda calculus Logic in computer science Proof theory Computability theory De Bruijn index Combinatory logic Curry–Howard correspondence Weight Free variables and bound variables Mathematics Theoretical computer science Mathematical logic
107	1 Free Choice in Romanian Donka F. Farkas, UCSC May 2005 To appear in a Festschrift for Larry Horn edited by Gregory Ward and Betty Birner 1. Introduction1 Add to Reading List Source URL: people.ucsc.edu Language: English - Date: 2015-01-24 16:05:40 Logic Determiner Grammar Semantics Quantification Scalar Article Quantity SO Parts of speech Linguistics Syntax
108	Carnegie Mellon School of Computer Science Scheme Flow Analysis Note Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:12 Lambda calculus Formal methods Theoretical computer science Type theory Variables Closure Free variables and bound variables Constant folding Combinatory logic Software engineering Mathematics Computing
109	Continuation Hierarchy and Quantifier Scope Oleg Kiselyov and Chung-chieh Shan 1 2 Add to Reading List Source URL: okmij.org Language: English - Date: 2014-03-21 03:17:21 Semantics Predicate logic Quantification Model theory Logic in computer science Combinatory logic Denotational semantics First-order logic Free variables and bound variables Logic Mathematical logic Theoretical computer science
110	The Logic of the Semantic Web Enrico Franconi Free University of Bozen-Bolzano, Italy What is this talk about Add to Reading List Source URL: www.inf.unibz.it Language: English - Date: 2011-09-08 09:53:45 RDF World Wide Web Consortium Web services Query languages Reasoning RDF Schema Knowledge representation and reasoning SPARQL RDF query language Computing Semantic Web Web standards

UPDATE